LOGIC_THMS_tcom 9,38
Theorems of inituitionistic propositional and 
predicate logic. 

origin